#ifndef PREPROCESSING_UTILS_H
#define PREPROCESSING_UTILS_H

void add_containing_premise(NormalizedConcept* c, NormalizedAxiom* a);

void add_to_singleton_premises(NormalizedConcept* c, NormalizedAxiom* a);

// void add_subsumer(NormalizedConcept* c, NormalizedConcept* s);
// void add_subsumer(NormalizedAtomicConcept* c, NormalizedConcept* s);

// void add_subsumee(NormalizedConcept* c, NormalizedConcept* s);
// void add_subsumee(NormalizedExists* c, NormalizedConcept* s);

// void add_to_queue(NormalizedConcept* c, NormalizedConcept* d);
// void add_to_queue(NormalizedAtomicConcept* c, NormalizedConcept* d);

// void add_premise_size(NormalizedConcept* c, NormalizedAxiom* a, int premise_size);
// void set_remaining_premise_size(NormalizedAtomicConcept* c, NormalizedAxiom* a, int premise_size);

#endif
